361. Solving combinatorial optimization problems in parallel :
Author: Afonso Ferreira, Panos Pardalos (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Optimaliseren.,Parallelle verwerking.
Classification :
QA402
.
5
A366
1996
362. Specifying software :
Author: R.D. Tennent.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer software, Specifications.,Computer programming.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Computer software.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
6
.
T4416
2002
363. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings
Author: Roberto Giacobazzi )ed.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
I5733
2004
364. Structural information and communication complexity :
Author: Zvi Lotker, Boaz Patt-Shamir (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
Classification :
QA76
.
9
.
A43
365. Supercomputing.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
366. Supercomputing frontiers :
Author: Rio Yokota, Weigang Wu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Supercomputers, Congresses.,Supercomputers.
Classification :
QA76
.
88
367. Swarm Intelligence :
Author: Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
Classification :
Q337
.
3
368. Swift data structure and algorithms :
Author: Erik Azar, Mario Eguiluz Alebicto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)
Classification :
QA76
.
774
.
I67
369. Symbolic Algebraic Methods and Verification Methods
Author: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Mathematics.
Classification :
QA76
.
9
.
M35
E358
2001
370. Symposium on semantics of algorithmic languages
Author: edited by E. Engeler
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
Classification :
QA
1
.
L4
v
.
188
371. Symposium on semantics of algorithmic languages
Author: / edited by E. Engeler
Library: Library of College of Science University of Tehran (Tehran)
Subject: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
Classification :
QA
76
.
7
.
S9
1971
372. Systems programming in Unix/Linux /
Author: K.C. Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
Classification :
QA76
.
76
.
O63
W36
2018
373. Testing and tuning market trading systems :
Author: Timothy Masters.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Computer algorithms.,Data mining.,Algorithms & data structures.,C++ (Computer program language),Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,COMPUTERS-- Programming Languages-- C++,Data mining.,Finance.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
73
.
C153
374. The Art of computer programming
Author: / Donald Ervin Knuth
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers-- programming
Classification :
QA
76
.
6
.
K64
375. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
376. The Macintosh bible /
Author: Sharon Zardetto Aker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mac OS.,Macintosh (Computer),ALGORITHMS.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,FILE MAINTENANCE (COMPUTERS),Macintosh (Computer),MICROCOMPUTERS.,PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
Classification :
QA76
.
8
.
M3
A4368
1998
377. The Turing omnibus :
Author: A.K. Dewdney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
Classification :
QA76
.
D45
1989
378. The algorithm design manual /
Author: Steven S. Skiena.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Algorithmes.,Algorithmus,Computer,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Entwurf,Informatique.
Classification :
QA76
.
9
.
A43
S55
2008
379. The art of computer Programming
Author: / [by] Donald E. Knuth,Knuth
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers - Programming
Classification :
QA
76
.
5
.
K57
